axiom as guide for consistency

当作相容性指南的公理

热门查询